;; There is only one block, A, which is on the table.  A sprayer with
;; red paint is on the table.  Our goal is to have A be red and the
;; arm empty.

(define (problem Problem0)
  (:domain hw6)
  (:objects blockA sprayer)
  (:init 
    ;;Initial State
	(on-table blockA)(not (color blockA Red))(on-table sprayer) (arm-empty))
	
	;;Goal State
  (:goal (and (arm-empty)(color blockA Red))))



